The Thermodynamical Arrow and the Historical Arrow; Are They Equivalent?

The Thermodynamical Arrow and the Historical Arrow; Are They Equivalent?

In this paper, the relationship between the thermodynamic and historical arrows of time is studied. In the context of a simple combinatorial model, their definitions are made more precise and in particular strong versions (which are not compatible with time symmetric microscopic laws) and weak versions (which can be compatible with time symmetric microscopic laws) are given. This is part of a l...

Arrow theorems in the fuzzy setting

Throughout this paper, our  main idea is to analyze the Arrovian approach in a fuzzy context, paying attention to different extensions of the classical Arrow's model arising in mathematical Social Choice to aggregate preferences that the agents define on a set of alternatives. There is a wide set of extensions. Some of them give rise to an impossibility theorem as in the Arrovian classical  mod...

The Arrow of Time

The arrow calculus

We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notation. Arrows are classically defined by extending lambda calculus with three constructs satisfying nine (somewhat idiosyncratic) laws; in contrast, the arrow calculus adds four constructs satisfying five laws (which fit two wel...

Computing the Arrow Polynomial

Determining if two knots are not equivalent in an e cient manner is important in the study of knots. The arrow polynomial, which is calculated from a virtual knot diagram and is invariant under the Reidemeister moves, can be used to determine if two knots are not equivalent and determine a lower bound on the virtual crossing number. In this paper, we present the necessary data structures and al...